Rybalov A. N. «On complexity of the existential and universal theories of finite fields» // Applied Discrete Mathematics 2019. №45 C.85-89
Rybalov A. N. «On generic complexity of the existential theories» // Applied Discrete Mathematics 2020. №49 C.120-126